условие верификации

условие верификации

 

условие верификации
 —
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]

Тематики

  • информационные технологии в целом

EN

  • verification condition


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Поможем написать реферат

Смотреть что такое "условие верификации" в других словарях:

  • ГОСТ Р 51904-2002: Программное обеспечение встроенных систем. Общие требования к разработке и документированию — Терминология ГОСТ Р 51904 2002: Программное обеспечение встроенных систем. Общие требования к разработке и документированию оригинал документа: 3.1 алгоритм: Конечное множество четко определенных правил, которые задают последовательность действий …   Словарь-справочник терминов нормативно-технической документации

  • ГИПОТЕЗА — (от греч. hipothesis основание, предположение) положение, выдвигаемое в качестве предварительного, условного объяснения некоторого явления или группы явлений; предположение о существовании некоторого явления. Г. может касаться существования… …   Философская энциклопедия

  • Украинский кризис: хроника противостояния в октябре 2015 года — Массовые антиправительственные акции начались в юго восточных областях Украины в конце февраля 2014 года. Они явились ответом местных жителей на насильственную смену власти в стране и последовавшую за этим попытку отмены Верховной радой закона,… …   Энциклопедия ньюсмейкеров

  • Цикл (программирование) — У этого термина существуют и другие значения, см. цикл. В данной статье или разделе имеется список источников или внешних …   Википедия

  • ИСТИНА — гносеологическая характеристика мышления в его отношении к своему предмету. Мысль называется истинной (или просто И.), если она соответствует своему предмету, т.е. представляет его таким, каков он есть на самом деле. Соответственно, ложной… …   Философская энциклопедия

  • Цикл просмотра — Цикл  разновидность управляющей конструкции в высокоуровневых языках программирования, предназначенная для организации многократного исполнения набора инструкций. Также циклом может называться любая многократно исполняемая последовательность… …   Википедия

  • Цикл Дейкстры — Цикл  разновидность управляющей конструкции в высокоуровневых языках программирования, предназначенная для организации многократного исполнения набора инструкций. Также циклом может называться любая многократно исполняемая последовательность… …   Википедия

  • Цикл foreach — Цикл  разновидность управляющей конструкции в высокоуровневых языках программирования, предназначенная для организации многократного исполнения набора инструкций. Также циклом может называться любая многократно исполняемая последовательность… …   Википедия

  • Цикл с постусловием — Цикл  разновидность управляющей конструкции в высокоуровневых языках программирования, предназначенная для организации многократного исполнения набора инструкций. Также циклом может называться любая многократно исполняемая последовательность… …   Википедия

  • Цикл с предусловием — Цикл  разновидность управляющей конструкции в высокоуровневых языках программирования, предназначенная для организации многократного исполнения набора инструкций. Также циклом может называться любая многократно исполняемая последовательность… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»